<meta http-equiv="refresh" content="0; url=Text-from-Minibuffer.html#Definition%20of%20minibuffer%2dlocal%2dmap">
